M. B. Pour-El; "Effectively extensible theories"